universal modus tollens example